default.html: get back to the working version