javadoc formatting fix