Minor changes to commandline.py