Getting pygments to work...