Typo in @example