Javadoc correction utilities.