Fix for pygments