Add missing close-parens in docs sentence; fixes #9512