fix printing out help message (list of command line options) (tiny change)