Remove dead doctests