diff --git a/source/declarations.tex b/source/declarations.tex
index 467c76ef8a..d2095d0314 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -3387,9 +3387,9 @@
 \begin{bnf}
 \nontermdef{parameter-declaration}\br
     \opt{attribute-specifier-seq} \opt{\keyword{this}} decl-specifier-seq declarator\br
-    \opt{attribute-specifier-seq} \opt{\keyword{this}} decl-specifier-seq declarator \terminal{=} initializer-clause\br
+    \opt{attribute-specifier-seq} decl-specifier-seq declarator \terminal{=} initializer-clause\br
     \opt{attribute-specifier-seq} \opt{\keyword{this}} decl-specifier-seq \opt{abstract-declarator}\br
-    \opt{attribute-specifier-seq} \opt{\keyword{this}} decl-specifier-seq \opt{abstract-declarator} \terminal{=} initializer-clause
+    \opt{attribute-specifier-seq} decl-specifier-seq \opt{abstract-declarator} \terminal{=} initializer-clause
 \end{bnf}
 
 The optional \grammarterm{attribute-specifier-seq} in a \grammarterm{parameter-declaration}
diff --git a/source/lex.tex b/source/lex.tex
index 58bb2034e1..668928caab 100644
--- a/source/lex.tex
+++ b/source/lex.tex
@@ -82,12 +82,18 @@
 then it shall be a well-formed UTF-8 code unit sequence and
 it is decoded to produce a sequence of UCS scalar values
 that constitutes the sequence of elements of the translation character set.
+In the resulting sequence,
+each pair of characters in the input sequence consisting of
+\unicode{000d}{carriage return} followed by \unicode{000a}{line feed},
+as well as each
+\unicode{000d}{carriage return} not immediately followed by a \unicode{000a}{line feed},
+is replaced by a single new-line character.
 
 For any other kind of input file supported by the implementation,
 characters are mapped, in an
 \impldef{mapping physical source file characters to translation character set} manner,
-to a sequence of translation character set elements\iref{lex.charset}
-(introducing new-line characters for end-of-line indicators).
+to a sequence of translation character set elements\iref{lex.charset},
+representing end-of-line indicators as new-line characters.
 
 \item
 \indextext{line splicing}%
@@ -308,10 +314,7 @@
 
 \begin{bnf}
 \nontermdef{n-char} \textnormal{one of}\br
-    \terminal{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z}\br
-    \terminal{0 1 2 3 4 5 6 7 8 9}\br
-    \textnormal{\unicode{002d}{hyphen-minus}}\br
-    \textnormal{\unicode{0020}{space}}
+     \textnormal{any member of the translation character set except the \unicode{007d}{right curly bracket} or new-line character}
 \end{bnf}
 
 \begin{bnf}
diff --git a/source/preprocessor.tex b/source/preprocessor.tex
index 8ac266b714..86aca96c45 100644
--- a/source/preprocessor.tex
+++ b/source/preprocessor.tex
@@ -390,6 +390,7 @@
 {ll}
 \topline
 \lhdr{Attribute} & \rhdr{Value} \\ \rowsep
+\tcode{assume}                & \tcode{202207L} \\
 \tcode{carries_dependency}    & \tcode{200809L} \\
 \tcode{deprecated}            & \tcode{201309L} \\
 \tcode{fallthrough}           & \tcode{201603L} \\
@@ -1765,7 +1766,8 @@
 \mname{STDCPP_BFLOAT16_T}\\
 Defined as the integer literal \tcode{1}
 if and only if the implementation supports an extended floating-point type
-with the properties described in \ref{basic.extended.fp}.
+with the properties of the \grammarterm{typedef-name} \tcode{std::bfloat16_t}
+as described in \ref{basic.extended.fp}.
 
 \item
 \indextext{__time__@\mname{TIME}}%