Fix pygments syntax