Add some doctests