Updated two links in the (old) documentation