Typo correction

(It fixes a broken link, too.)