Python 3.2 support: the end