Add a bit of doctests.