Fix incorrectly named pygments