Make it work on Python 3.3