Add some doctest examples