this is used for doctests