diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index da07da7d62..d77a7008be 100644
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -56,4 +56,4 @@ repos:
   rev: v0.26.0
   hooks:
     - id: spicy-format
-      exclude: '^testing/.*'
+      exclude: '^(testing/.*|doc/devel/spicy/autogen/.*)'
diff --git a/doc/devel/spicy/autogen/tftp-no-accept.spicy b/doc/devel/spicy/autogen/tftp-no-accept.spicy
index 20c27685d4..b339146534 100644
--- a/doc/devel/spicy/autogen/tftp-no-accept.spicy
+++ b/doc/devel/spicy/autogen/tftp-no-accept.spicy
@@ -53,6 +53,9 @@ type Opcode = enum {
 type Request = unit(is_read: bool) {
     filename: bytes &until=b"\x00";
     mode: bytes &until=b"\x00";
+
+    on %done {
+    }
 };
 
 # Figure 5-2: DATA packet
diff --git a/doc/devel/spicy/autogen/zeek-functions.spicy b/doc/devel/spicy/autogen/zeek-functions.spicy
index 3eca1c67fc..53126ad50f 100644
--- a/doc/devel/spicy/autogen/zeek-functions.spicy
+++ b/doc/devel/spicy/autogen/zeek-functions.spicy
@@ -733,3 +733,4 @@ id: fully-qualified name of the global Zeek vector to check
 Returns the size of a Zeek vector.
 
 v: opaque handle to the Zeek vector, as returned by other functions
+