Make the doctests run