Update example-syntax.k