Fix syntax in one of the examples