ah, pygments likes lower-case c#