Minor Javadoc addition.