Minor fixes for links in docs