re-added pygment