diff --git a/mps/test/testsets/argerr b/mps/test/testsets/argerr
index 464ed9f8d13..397a48f7f90 100644
--- a/mps/test/testsets/argerr
+++ b/mps/test/testsets/argerr
@@ -159,7 +159,7 @@ argerr/154.c
 argerr/155.c
 argerr/156.c
 argerr/157.c
-argerr/158.c
+% argerr/158.c -- assertion in different place in the hot variety
 argerr/159.c
-argerr/160.c
+% argerr/160.c -- AVERT only checks the signature in the hot variety
 argerr/161.c
diff --git a/mps/test/testsets/coolonly b/mps/test/testsets/coolonly
index 038edb41a53..5b372a7a2e8 100644
--- a/mps/test/testsets/coolonly
+++ b/mps/test/testsets/coolonly
@@ -2,7 +2,10 @@
 % variety, together with comments explaining why they fail in the hot
 % variety.
 
-% Assertion in different place in the hot variety.
+% AVERT only checks the signature.
+argerr/160.c
+
+% Assertion in different place.
 argerr/16.c
 argerr/24.c
 argerr/30.c
@@ -10,10 +13,11 @@ argerr/31.c
 argerr/33.c
 argerr/35.c
 argerr/37.c
+argerr/158.c
 conerr/19.c
 conerr/26.c
 
-% Rank is not a structure type, so AVERT(Rank) does nothing. 
+% Rank is not a structure type, so AVERT(Rank) does nothing.
 argerr/49.c
 argerr/50.c
 argerr/51.c