Minor change to javadoc