Fixed typo in PROV diagram