Rename formal6 to formal6.html