Javadoc correction