Compatibility with Python 3.2