This commit repairs two bare links that were introduced in a
recent commit, allowing CI tests to resume passing.