Minor formatting changes in the example code