Fixup python 3 syntax goof