strip_nonascii.py: had to fix some typo's