Fixed a small bug related to parsing command line arguments