python.el fixes