fix up link to doctest