convert to Python 3.4