Fixed inst.html