Fixed a Javadoc copy/paste error.