Trivial: fix commandline help message