small change repair.html