Fix a few doc crosslinks