Fix typo in annotation of example code