some editing in the example