small javadoc changes