Fix syntax error in documentation