Docs: fix a broken link
(cherry picked from commit f9111b73c50a30ac0578b285ea2f4298faefa2ab)