diff --git a/PSSAFlightControlEGI/AircraftStabilator.aadl b/PSSAFlightControlEGI/AircraftStabilator.aadl
index a840b3d..7071c2c 100644
--- a/PSSAFlightControlEGI/AircraftStabilator.aadl
+++ b/PSSAFlightControlEGI/AircraftStabilator.aadl
@@ -80,7 +80,7 @@ with ErrorLibrary, ErrorBehaviorLibrary;
     		ActCmd: in propagation  {ServiceOmission,ValueError,ItemOmission};
     	flows
 		 ef1:error sink ActCmd{ValueError};
-		 ef2:error source operation {ServiceOmission} ;
+		 ef2:error source operation {GuidanceLoss} ;
 		 
  end propagations;
  propagation paths
@@ -96,7 +96,7 @@ with ErrorLibrary, ErrorBehaviorLibrary;
 		description => "Failure to move stabilator into desired position";
 		comment => "Is a major hazard. Pilot cannot control stabilator due to sensor failure";
 			])
-			applies to operation.ServiceOmission;
+			applies to ef2.GuidanceLoss;
     **};
   end StabilatorActuator;