Bar Harel added the comment: I guess you're correct, a simple mistake one time mistake shouldn't require the changing of the docs. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue25175> _______________________________________