Fix a regression in the pretty-printed code for -ddump-splices, which regressed since 8.0. Closes trac issue #13550