fix for cudd changes