Fixed some pygments issues