Making sure pygments works