these two lines are no longer necessary, since we're already printing exactly the contents of --help