Add more doctest examples