Fixed a syntax error in doc