docs: Fix a minor syntax error in a documentation comment