used html.unescape() new in Python 3.4