Improved formatting of example