Fix is_not_ascii_char

because c<0x80 is an ASCII char.