tweaked output format of to_string