Minor Javadoc comment change.