Bug fixes

* Changed `withArgs` to be parameterised.
* Fixed annoying and misleading error message for PathFacts.
That was actually part of the previous PR. I thought I had already merged it. Clearly not.