Fix broken link in documentation

* Link checker complained about broken link in documentation.
7 jobs for main in 2 minutes and 45 seconds (queued for 5 seconds)