minor javadoc fix.