fix typo: this example should be a syntax error