fixed bug with wrong characters in html filenames