Fix issue #505: DIET: doctype is actually ignored