diff --git a/CHANGELOG.md b/CHANGELOG.md
index b0f9f34..ca13d9b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,10 @@
 
 ## (unreleased)
 
+Bug Fixes:
+
+* fixes incorrectly simplified rules with comparisons
+
 ## 0.1.2 (2017-03-23)
 
 Features:
diff --git a/src/anthem/Simplification.cpp b/src/anthem/Simplification.cpp
index ae57a14..7e705f7 100644
--- a/src/anthem/Simplification.cpp
+++ b/src/anthem/Simplification.cpp
@@ -81,7 +81,7 @@ struct ReplaceVariableInFormulaVisitor : public ast::RecursiveFormulaVisitor<Rep
 	static void accept(ast::Comparison &comparison, ast::Formula &, const ast::Variable &variable, const ast::Term &term)
 	{
 		comparison.left.accept(ReplaceVariableInTermVisitor(), comparison.left, variable, term);
-		comparison.right.accept(ReplaceVariableInTermVisitor(), comparison.left, variable, term);
+		comparison.right.accept(ReplaceVariableInTermVisitor(), comparison.right, variable, term);
 	}
 
 	static void accept(ast::In &in, ast::Formula &, const ast::Variable &variable, const ast::Term &term)
diff --git a/tests/TestSimplification.cpp b/tests/TestSimplification.cpp
index 4456fc0..b584fe6 100644
--- a/tests/TestSimplification.cpp
+++ b/tests/TestSimplification.cpp
@@ -41,4 +41,12 @@ TEST_CASE("[simplification] Rules are simplified correctly", "[simplified]")
 
 		REQUIRE(output.str() == "((not covered(I) and I in 1..n) -> #false)\n");
 	}
+
+	SECTION("comparisons")
+	{
+		input << ":- M > N.";
+		anthem::translate("input", input, context);
+
+		REQUIRE(output.str() == "(M > N -> #false)\n");
+	}
 }