small python 3 change