restore html-escaped chars