Javadoc corrections.