Another dead link in the documentation fixed