diff --git a/docs/grammar.md b/docs/grammar.md
index ac63d3a8..03523226 100644
--- a/docs/grammar.md
+++ b/docs/grammar.md
@@ -118,7 +118,7 @@ precedence, see below.
 
 *  recordentry ::= ‘userdata’ |
 *      ‘type’ Name ‘=’ newtype | [‘metamethod’] recordkey ‘:’ type |
-*      ‘record’ recordbody | ‘enum’ enumbody
+*      ‘record’ Name recordbody | ‘enum’ Name enumbody
 
 *  recordkey ::= Name | ‘[’ LiteralString ‘]’
 
diff --git a/docs/pragmas.md b/docs/pragmas.md
index b33efb4c..48f32b45 100644
--- a/docs/pragmas.md
+++ b/docs/pragmas.md
@@ -81,7 +81,7 @@ checks, require the library, then re-enable them:
 
 ```lua
 --#pragma arity off
-local old_library = require("old_library)
+local old_library = require("old_library")
 --#pragma arity on
 
 local function add(a: number, b: number): number