Fixed a broken link signaled in the comments.