Correcting pygments highlighting warning