Fix compatibility with python 3.2