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