minor formatting changes to example