diff --git a/src/items/external-blocks.md b/src/items/external-blocks.md
index 7acb5ce3c..0ab3a4110 100644
--- a/src/items/external-blocks.md
+++ b/src/items/external-blocks.md
@@ -18,17 +18,17 @@
>
> _ExternalFunctionItem_ :\
> `fn` [IDENTIFIER] [_Generics_]?\
-> `(` ( _NamedFunctionParameters_ | _NamedFunctionParametersWithVariadics_ )? `)`\
+> `(` _NamedFunctionParameters_ ? `)`\
> [_FunctionReturnType_]? [_WhereClause_]? `;`
>
> _NamedFunctionParameters_ :\
-> _NamedFunctionParam_ ( `,` _NamedFunctionParam_ )\* `,`?
+> _NamedFunctionParam_ ( `,` _NamedFunctionParam_ )\* (`,` _VariadicFunctionParam_)? `,`?
>
> _NamedFunctionParam_ :\
> [_OuterAttribute_]\* ( [IDENTIFIER] | `_` ) `:` [_Type_]
>
-> _NamedFunctionParametersWithVariadics_ :\
-> ( _NamedFunctionParam_ `,` )\* _NamedFunctionParam_ `,` [_OuterAttribute_]\* `...`
+> _VariadicFunctionParam_ :\
+> [_OuterAttribute_]\* (( [IDENTIFIER] | `_` ) `:`)? `...`
External blocks provide _declarations_ of items that are not _defined_ in the
current crate and are the basis of Rust's foreign function interface. These are
diff --git a/stable-check/Cargo.lock b/stable-check/Cargo.lock
index 9a3b307c9..982040de4 100644
--- a/stable-check/Cargo.lock
+++ b/stable-check/Cargo.lock
@@ -1,4 +1,6 @@
-[root]
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+[[package]]
name = "stable-check"
version = "0.1.0"