Tiny javadoc fix