More stuff for PyMode