little javadoc fix