Port to Python 3.4