Rename formal2 to formal2.html