Minor Javadoc correction