solve the pygments for highlight