; Fix last change in doc/lispref/strings.texi