Documentation: fix broken link.