makes sure untyped expansions don't loop