Minor change in javadoc.