minor fix in example