Changed formatting of provenance