Fix: few dead links in the documentation