Minor fix to pretty-printing.