tiny javadoc fix