Actually running doctests