More to_str methods for debugging