Fix dead links reported by @alexti