July 4, 2010
1:40 p.m.
Already reported in #7829 and fixed by Terry Reedy and Brett Cannon. Note to self: When I decide to write to docs@ instead of opening a bug report, check anyway for an existing bug report. Cheers