Fix dead docs link

Achilleas Pipinellis - OOO until November 25th (parental leave) requested to merge docs/fix-dead-link into master Mar 22, 2017