Small change to javadoc