minor javadoc fix