verwerken feedback

1 files changed, 2 insertions, 2 deletions

diff --git a/ruleshead.tex b/ruleshead.tex
index 53b4bf2..d45bee3 100644
--- a/ruleshead.tex
+++ b/ruleshead.tex
@@ -3,7 +3,7 @@
 \label{sec:rules:head}
 
 \begin{quote}
-	h - Pops a string from the stack, and pushes its head, ie the first
+	h - Pops a string from the stack, and pushes its head, that is the first
 	character. This causes an error if used on the empty string.
 \end{quote}
 
@@ -24,7 +24,7 @@ $$
 		{\ip'}{\op}{\st}
 	\using{\rheadns}
 	\qquad
-	\text{met $(c~s,\stk') = \pop{\stk}$.}
+	\text{met $\pop{\stk} = (c~s,\stk')$.}
 \end{prooftree}
 $$