Éric Araujo added the comment: Suggest closing: I think this causes no issue and changing it would have no benefit. ---------- nosy: +eric.araujo _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue16015> _______________________________________