Update manual.html