Minor Javadoc fix.