Some minor formatting changes in example