#139 minor javadoc edits