fix broken link in the manual