Fix printing of commandline help