fix recent bug in argparse