Fix for python.el.