Fix formatting of example