Fixing python highlighting.