fix problems with non-ascii characters