Change pretty printing slightly.