Formatting of example