Correct some more pretty-printing tests