Re: [Python-Dev] Small tweak to tokenize.py?