Hopefully a fix for python 3.2