minor change in javadoc.