Fix setup.html