trying to fix problem with pygments