Use PRE formatting on example