Fix bad Pygments language