Pretty-printing for examples.