minor javadoc edits