Printing out a seq directly rather than pretty-formatting it doesn't seem like a good idea.