Fix is_not_ascii_char