Processing feedback

1 files changed, 3 insertions, 3 deletions

diff --git a/paper/intro-while.tex b/paper/intro-while.tex
index 77251bd..6751a5f 100644
--- a/paper/intro-while.tex
+++ b/paper/intro-while.tex
@@ -43,16 +43,16 @@ block ends. Lastly, we assume that composition (\whcomp{$S_1$}{$S_2$}) is right
 associative. We ignore all whitespace, and do not allow variable names that are
 reserved keywords such as \whskip.
 
-The semantics of these syntax constructs should be intuitive. As an example,
+The semantics of the syntax constructs should be intuitive. As an example,
 after executing the following program, \verb$y$ will have been divided by $2$:
 
 \begin{while}
 	\whcomp%
 		{\whass{x}{y}}
 		{\whwhile{\whnotp{\whle{x}{0}}}%
-			{\whcomp%
+			{(\whcomp%
 				{\whass{x}{x-2}}
-				{\whass{y}{y-1}}
+				{\whass{y}{y-1}})
 			}
 		}
 \end{while}