Fix typo in example[1]