Fix syntax error in doc