More to_str methods for use when debugging