Minor javadoc correction.