Very basic first doctests