Fix broken link caused by Michael's search and replace.