Fix a syntax error in the docs