CHANGE: javadoc correction