python 3.1 fix