Fixed a couple of links broken by changes in docs.