javadoc for command line args was wrong