tweaks

book.tex

@@ -4243,12 +4243,13 @@ all of Typed Racket. For many operations we take a narrower
 interpretation than Typed Racket, for example, rejecting \code{(not 1)}.
 
 This chapter is organized as follows.  We begin by defining the syntax
-and interpreter for the \LangIf{} language (Section~\ref{sec:r2-lang}). We
-then introduce the idea of type checking and build a type checker for
-\LangIf{} (Section~\ref{sec:type-check-r2}). To compile \LangIf{} we need to
-enlarge the intermediate language \LangCVar{} into \LangCIf{}, which we do in
-Section~\ref{sec:c1}. The remaining sections of this chapter discuss
-how our compiler passes need to change to accommodate Booleans and
+and interpreter for the \LangIf{} language
+(Section~\ref{sec:r2-lang}). We then introduce the idea of type
+checking and build a type checker for \LangIf{}
+(Section~\ref{sec:type-check-r2}). To compile \LangIf{} we need to
+enlarge the intermediate language \LangCVar{} into \LangCIf{}, which
+we do in Section~\ref{sec:c1}. The remaining sections of this chapter
+discuss how our compiler passes change to accommodate Booleans and
 conditional control flow.