Update to ASCII-compliant operator