Update formal3.html
Merge pull request #8 from charlery/patch-5

Update formal3.html