Fix an ASSERT failure in FamInstEnv