small python 3 fix