[Python-Dev] a doc bug