Update python.el