fix some more weirdness in Python3 parser