diff --git a/doc/manual/src/language/identifiers.md b/doc/manual/src/language/identifiers.md
index bd58a9b36..861ee3e20 100644
--- a/doc/manual/src/language/identifiers.md
+++ b/doc/manual/src/language/identifiers.md
@@ -16,13 +16,14 @@ An *identifier* is an [ASCII](https://en.wikipedia.org/wiki/ASCII) character seq
 
 # Names
 
-A name can be an [identifier](#identifier) or a [string literal](./syntax.md#string-literal).
+A *name* can be written as an [identifier](#identifier) or a [string literal](./syntax.md#string-literal).
 
 > **Syntax**
 >
 > *name* → *identifier* | *string*
 
 Names are used in [attribute sets](./syntax.md#attrs-literal), [`let` bindings](./syntax.md#let-expressions), and [`inherit`](./syntax.md#inheriting-attributes).
+Two names are the same if they represent the same sequence of characters, regardless of whether they are written as identifiers or strings.
 
 # Keywords
 
diff --git a/doc/manual/src/language/scope.md b/doc/manual/src/language/scope.md
index 96c7468eb..9373324e2 100644
--- a/doc/manual/src/language/scope.md
+++ b/doc/manual/src/language/scope.md
@@ -13,7 +13,7 @@ Implicit definitions are only created by [with-expressions](./syntax.md#with-exp
 
 Every expression is *enclosed* by a scope.
 The outermost expression is enclosed by the [built-in, global scope](./builtins.md), which contains only explicit definitions.
-The respective definition types *extend* their enclosing scope by adding new definitions, or replacing existing ones with the same name.
+The expressions listed above *extend* their enclosing scope by adding new definitions, or replacing existing ones with the same name.
 An explicit definition can replace a definition of any type; an implicit definition can only replace another implicit definition.
 
 Each of the above expressions defines which of its subexpressions are enclosed by the extended scope.