Modify HTML doctype