Javadoc formatting fixes.