Javadoc fix.
Fixed a Javadoc typo.