Spec: say explicitly that a character is a unicode code point.