Remove strange character in HTML created by index.lib.php