Add some more doctests