check

book.tex

@@ -7256,7 +7256,7 @@ The second row of Figure~\ref{fig:compile-r7-r6}, the compilation of
 addition, is representative of compilation for many operations: the
 arguments have type \key{Any} and must be projected to \key{Integer}
 before the addition can be performed.
-%
+
 The compilation of \key{lambda} (third row of
 Figure~\ref{fig:compile-r7-r6}) shows what happens when we need to
 produce type annotations: we simply use \key{Any}.
@@ -7267,7 +7267,7 @@ $R_6$. The $R_7$ language is more permissive than $R_6$ regarding what
 kind of values can be used in various places. For example, the
 condition of an \key{if} does not have to be a Boolean. For \key{eq?},
 the arguments need not be of the same type (but in that case, the
-result will be \code{#f}).
+result will be \code{\#f}).
 
 \begin{figure}[btp]
 \centering