diff --git a/BouncyCastle/src/AESFastEngine.crysl b/BouncyCastle/src/AESFastEngine.crysl
index 4fee91e9..57318cc6 100644
--- a/BouncyCastle/src/AESFastEngine.crysl
+++ b/BouncyCastle/src/AESFastEngine.crysl
@@ -1,17 +1,5 @@
 //The AESFastEngine class is deprecated and insecure. This crysl rule ensures that a AESFastEngine object is considered insecure.
 SPEC org.bouncycastle.crypto.engines.AESFastEngine
-
-OBJECTS
-	int dummy; //This section can't be empty or else the rule is marked with an error.
 	
 FORBIDDEN
-	AESFastEngine() ;
-
-EVENTS	
-	c1: AESFastEngine();
-	Con := c1;
-	
-ORDER
-	Con
-
-
+	AESFastEngine();
diff --git a/BouncyCastle/src/AESLightEngine.crysl b/BouncyCastle/src/AESLightEngine.crysl
index 5a3f529d..d65fdf50 100644
--- a/BouncyCastle/src/AESLightEngine.crysl
+++ b/BouncyCastle/src/AESLightEngine.crysl
@@ -1,8 +1,5 @@
 SPEC org.bouncycastle.crypto.engines.AESLightEngine
 
-OBJECTS
-	int dummy; //This section can't be empty or else the rule is marked with an error.
-
 EVENTS	
 	c1: AESLightEngine();
 	Con := c1;
diff --git a/BouncyCastle/src/SHA256Digest.crysl b/BouncyCastle/src/SHA256Digest.crysl
index 89f39369..e9f803bc 100644
--- a/BouncyCastle/src/SHA256Digest.crysl
+++ b/BouncyCastle/src/SHA256Digest.crysl
@@ -37,7 +37,7 @@ CONSTRAINTS
 	inputBytesOffset >= 0;
 	inputBytesLen > 0;
 	length[outputBytes] >= outputBytesOffset;
-	outputBytesOffset > 0;
+	outputBytesOffset >= 0;
 	
 REQUIRES
 	generatedSHA256Digest[digest];