diff --git a/hol/p4_from_json/excluded.sml b/hol/p4_from_json/excluded.sml
index 3b97aa43..b0a7d45c 100644
--- a/hol/p4_from_json/excluded.sml
+++ b/hol/p4_from_json/excluded.sml
@@ -89,7 +89,7 @@ val exclude_descs =
   ("supporting top-level extern instantiations in import tool",
    ["issue1097-2-bmv2"]),
 (*
-    Counter extern of V1Model, direct table application (manually spotted)
+    Counter extern of V1Model (manually spotted)
 *)
   ("adding counter extern to V1Model model",
    ["issue1566-bmv2"]),