Message 171259 - Python tracker

[Continuing the issue 14783 discussion]

> That said, I don't have a strong opinion about this, so if people think that x should be used, it's fine with me.

I also feel that *x* should be used, since that is what the code enforces.

I'm attaching a revised patch.  This patch also makes related adjustments to the corresponding text.