Fix javadoc formatting mistakes