diff --git a/spec.md b/spec.md
index 7c28393d..479a5ca6 100644
--- a/spec.md
+++ b/spec.md
@@ -1641,7 +1641,7 @@ wire pred: UInt<1>
 wire en: UInt<1>
 pred <= eq(X, Y)
 en <= Z_valid
-cover(clk, pred, en, "X equals Y when Z is valid") : optional_name
+cover(clk, pred, en) : optional_name
 ```
 
 # Expressions