Fixes #278. toString for faults