Fix syntax in code example