fix docs link; fixes #3026