A couple of toString() methods to aid debugging (of external code)