diff --git a/Doc/lib/libcodecs.tex b/Doc/lib/libcodecs.tex
index 38586efcac6..f7578021525 100644
--- a/Doc/lib/libcodecs.tex
+++ b/Doc/lib/libcodecs.tex
@@ -890,7 +890,7 @@ Internationalized Domain Names (IDN)). It builds upon the
 
 These RFCs together define a protocol to support non-ASCII characters
 in domain names. A domain name containing non-ASCII characters (such
-as ``www.Alliancefran\,caise.nu'') is converted into an
+as ``www.Alliancefran\c{c}aise.nu'') is converted into an
 ASCII-compatible encoding (ACE, such as
 ``www.xn--alliancefranaise-npb.nu''). The ACE form of the domain name
 is then used in all places where arbitrary characters are not allowed
diff --git a/Doc/whatsnew/whatsnew23.tex b/Doc/whatsnew/whatsnew23.tex
index f447ed4dc0e..0c474f2b7d2 100644
--- a/Doc/whatsnew/whatsnew23.tex
+++ b/Doc/whatsnew/whatsnew23.tex
@@ -1796,10 +1796,10 @@ Any breakage caused by this change should be reported as a bug.
 to convert between a Unicode domain name and the ASCII-compatible
 encoding (ACE).
 
-\begin{verbatim}
->>> u"www.Alliancefran\,caise.nu".encode("idna")
+\begin{alltt}
+>>> u"www.Alliancefran\c{c}aise.nu".encode("idna")
 'www.xn--alliancefranaise-npb.nu'
-\end{verbatim}
+\end{alltt}
 
 In addition, the \module{socket} has been extended to transparently
 convert Unicode hostnames to the ACE before passing them to the C