diff --git a/revision-history.yaml b/revision-history.yaml
index ccbc129f..cb21d471 100644
--- a/revision-history.yaml
+++ b/revision-history.yaml
@@ -27,6 +27,7 @@ revisionHistory:
       - Make commas mandatory, not whitespace.
       - Restore flow description.
       - Update intrinsic module example to use a real intrinsic.
+      - Restore id and info in printf grammar, add to verif commands.
     abi:
       - Add ABI for public modules and filelist output.
       - Changed ABI for group and ref generated files.
diff --git a/spec.md b/spec.md
index ed4a0883..f1fd9030 100644
--- a/spec.md
+++ b/spec.md
@@ -4242,6 +4242,7 @@ command =
         string_dq ,
         { "," , expr }
     , ")" ,
+    [ ":" , id ] , [ info ]
   | "assert" , "(" ,
         expr , "," ,
         expr , "," ,
@@ -4249,6 +4250,7 @@ command =
         string_dq ,
         { "," , expr }
     , ")" ,
+    [ ":" , id ] , [ info ]
   | "assume" , "(" ,
         expr , "," ,
         expr , "," ,
@@ -4256,6 +4258,7 @@ command =
         string_dq ,
         { "," , expr }
     , ")" ,
+    [ ":" , id ] , [ info ]
   | "cover" , "(" ,
         expr , "," ,
         expr , "," ,