Small change to Javadoc