Fixed a minor javadoc comment goof.