more javadoc polishing