Added pygments highlights