Fix pygments file for highlight class