diff --git a/test/libsolidity/smtCheckerTests/types/tuple_array_pop_1.sol b/test/libsolidity/smtCheckerTests/types/tuple_array_pop_1.sol
index e297cffd7..089dcc5c1 100644
--- a/test/libsolidity/smtCheckerTests/types/tuple_array_pop_1.sol
+++ b/test/libsolidity/smtCheckerTests/types/tuple_array_pop_1.sol
@@ -4,4 +4,4 @@ contract C {
 	function f() public { (a).pop();}
 }
 // ----
-// Warning 2529: (78-87): Empty array "pop" detected here.
+// Warning 2529: (78-87): Empty array "pop" detected here
diff --git a/test/libsolidity/smtCheckerTests/types/tuple_array_pop_2.sol b/test/libsolidity/smtCheckerTests/types/tuple_array_pop_2.sol
index 76c8e3cb3..70e00939b 100644
--- a/test/libsolidity/smtCheckerTests/types/tuple_array_pop_2.sol
+++ b/test/libsolidity/smtCheckerTests/types/tuple_array_pop_2.sol
@@ -4,4 +4,4 @@ contract C {
 	function f() public { (((((a))))).pop();}
 }
 // ----
-// Warning 2529: (78-95): Empty array "pop" detected here.
+// Warning 2529: (78-95): Empty array "pop" detected here