Fix Javadocs formatting