Updated formatting of the example