Fix formatting of example.