fix for html characters (see https://bugs.php.net/bug.php?id=36795)