Fix from Jim Johnson for optional input handling in provenance API.
Merge latest stable.