Javadoc formatting fix