diff --git a/spec/index.html b/spec/index.html
index beb5ea5..28fee41 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -765,10 +765,12 @@
Literals and datatypes
called the
lexical-to-value mapping,
- from a lexical space (a set of character strings) to values.
+ from a lexical space (a set of strings)
+ to values.
The function L2V maps datatypes to their lexical-to-value mapping.
A literal with datatype d denotes the value obtained by applying this mapping
- to the character string sss: L2V(d)(sss).
+ to the lexical form
+ sss: L2V(d)(sss).
If the literal string is not in the lexical space,
so that the lexical-to-value mapping gives no value for the literal string,
then the literal has no referent.
@@ -776,7 +778,9 @@ Literals and datatypes
Every literal with that type either denotes a value in the value space of the type,
or fails to denote at all.
An ill-typed literal is one whose datatype IRI is recognized,
- but whose character string is assigned no value by the lexical-to-value mapping
+ but whose
+ lexical form
+ is assigned no value by the lexical-to-value mapping
for that datatype.
RDF processors are not required to recognize any datatype IRIs other than