X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=doc%2Fhandbook%2Fverification.tex;h=bf1ab982de182aef76862e9c97187114405921ff;hb=5dbf3071f8e856b3f4652a623ff23b163586154b;hp=929acc150c55a7bb38a7edd866a243e70c28e150;hpb=a0a303f434fdfaa9e313ac0bf25fcfdd8556b0fd;p=cacao.git

diff --git a/doc/handbook/verification.tex b/doc/handbook/verification.tex
index 929acc150..bf1ab982d 100644
--- a/doc/handbook/verification.tex
+++ b/doc/handbook/verification.tex
@@ -96,13 +96,13 @@ fields are valid Java identifiers since this would require including a
 Unicode database in Cacao. Instead the following checks are performed:
 
 \begin{itemize}
-\item Names must be valid non-empty UTF-8 strings.
+\item Names must be valid non-empty Java `Utf8' strings.
 \item Names must not contain ASCII control characters or the
       \code{NUL}-character.
 \item A method name starting with the ASCII character `\code{<}' must be
       either \code{<init>} or \code{<clinit>}.
 \item A \code{NameAndType} entry in the constant pool may not
-      reference a method named \code{<clinit>}.
+      refer to a method named \code{<clinit>}.
 \item Field names may not start with `\code{<}'.
 
 \end{itemize}