Minor Javadoc formatting changes