minor javadoc formatting fix