Fix HTML formatting in javadoc