Back to python highlighting