doctest'ing example