html: properly strip document title