Clean up the documentation a bit for this example