One more javadoc fix