Changing a minor javadoc content.