Formatting of examples