Fix error in the example