Update PROV primer example