documented a bug occurring on Python 2