minor javadoc changes