Fix Javadoc formattings