prettyprint: rename so it doesn't look so much like print-error.