Fix editor failing with Python 3