Fixed a minor error in javadoc