small javadoc renaming