Changed highlighter to pygments

This fixes an error with the highlighter.