Adding terrible pygments hack