fix a bug in html-from-uri