Slight change in javadoc