default.html: fix