minor javadoc "refactorings"