Add some cases from the 0.11.0 pretty tests
Tweak summary printing