Fix typo and broken links.

Problem noticed while reviewing Petr's PR.