Correct a syntax error in the documentation