minor javadoc cleanup