html-encode titles