tiny javadoc changes