Fixed some dead links in the documentation