Better formatting in a clearer example