Fix bug with Python 3.3 (?)