- minor javadoc fix