Don't pretty-print twice. #1079