a couple of documentation link fixes