Fix: hopefully lasts dead link in the doc