Some pretty printing adjustments.