Fix syntax error in one of the examples