fix the fact.vm example, now all examples *really* work