diff --git a/spec/jastadd/Backend.jadd b/spec/jastadd/Backend.jadd
index f2bb942e0431dc63a8099ec69bcd9b64b615b2d0..f206987d13b3bbef515875bf1b1eda7858f93cc3 100644
--- a/spec/jastadd/Backend.jadd
+++ b/spec/jastadd/Backend.jadd
@@ -426,7 +426,7 @@ aspect BackendBidirectionalAPI {
 
 aspect LowerBoundCheck {
 	public void Program.generateLowerBoundCheck(StringBuilder sb) {
-		sb.append(ind(1) + "public boolean ASTNode.violateLowerBounds() {\n");
+		sb.append(ind(1) + "public boolean ASTNode.violatesLowerBounds() {\n");
 		sb.append(ind(2) + "return !getLowerBoundsViolations().isEmpty();\n");
 		sb.append(ind(1) + "}\n");
 
diff --git a/tests/valid/LowerBounds.java b/tests/valid/LowerBounds.java
index b2f783215de72e49bb123179320039acf39f279f..4fe5ea689f6db45267a1a3a49dd3b5c8683c69c4 100644
--- a/tests/valid/LowerBounds.java
+++ b/tests/valid/LowerBounds.java
@@ -27,21 +27,21 @@ public class LowerBounds extends AbstractTests {
 		r.addB(b1);
 		r.addB(b2);
 
-		assertTrue(r.violateLowerBounds());
+		assertTrue(r.violatesLowerBounds());
 
 		a1.setB(b1);
 		a2.setB(b2);
 		b1.setC(c1);
 		b2.setC(c2);
 
-		assertFalse(r.violateLowerBounds());
+		assertFalse(r.violatesLowerBounds());
 
 		b2.setC(c1);
 
-		assertTrue(r.violateLowerBounds());
+		assertTrue(r.violatesLowerBounds());
 
 		b1.setC(c2);
 
-		assertFalse(r.violateLowerBounds());
+		assertFalse(r.violatesLowerBounds());
 	}
 }
\ No newline at end of file