trivial syntax error in doc

ditto