Fixed some python highlighting