Fix anchor hrefs added in commit 99a880781.