add doctype to html page to fix #1