Rename formal7 to formal7.html