JavaDoc edits