Merge pull request #4141 from carl-mastrangelo/fixLink

Fix dead link in doc