Small javadoc fix.