minor change to javadoc