fixed imports in Cauchy