Fixing javadoc formatting