additional ToString() methods to aid debugging