fix a broken documentation link