Pretty-printing and formatting.