Fix broken link from #4