fix a syntax error in an example