minor fix of example