Tweaks to new provenance appendix