Thanks, Mark, for fixing this. And thanks to Gerrit for reporting it first. :-) Also thanks to Mark for the fmt.py patch. Wow, it must be the weekend of trivial patches, eh? :-) --Guido van Rossum (home page: http://www.python.org/~guido/)