Moved doctest to its own file