Thanks for catching this! Would you use the Suggest Edits button on that page to submit the change? Please feel free to use that feature any time to improve the docs. That submits a diff for review, akin to a PR, so there's worry about accidentally introducing errors into the docs.