add doctype extension