Added a to_string() hook for our custom printer