minor javadoc tweak