small fix in config.arg.h