Fixes for HTML doctype