fix syntactic issue in example