Trying to make pygments work