fix python highlighting