another fix for python 3.2