Switching over to doctests