typos in debug.html