minor javadoc update