Fixed a syntax error in the documentation