javadoc and a minor number type issue