Pretty: fix potential bad formatting of error message (#10735)