Fix for utf-8 in HTML output