Testing highlighting with pygments