small javadoc fix