Small fix for Javadoc, multiple help options can be defined (thanks to javaerb)