Small javadoc fix