no more UTF-8 characters in the source