Chris Jerdonek added the comment: Thanks, David. I wasn't sure if you had seen the comments. They're mostly stylistic, though, so it's not too big of a deal. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue15557> _______________________________________