formatting the example