fix provenance for hlt