Minor Javadoc fix