fix deprecation warning for pygments code highlighting plugin thingy