Corrected annotation in example