Put explicit imports into the module so that the doctests pass