Javadoc style fix.