upgrading to Pygments 1.6