Turns out Debian pygmentize can't handle the trademark symbol.