small minor updates'

diff --git a/arch.example.tex b/arch.example.tex
index a5f3684..b2ecc58 100644 (file)
--- a/arch.example.tex
+++ b/arch.example.tex
@@ -23,7 +23,7 @@ w =         makeDevice "dev1" (...) >>= connectDevice
 \subsection{Thermostat}
 The thermostat is a classic example program for showing interactions between
 peripherals. The following program shows a system containing two devices. The
-first device --- the sensor -- contains a temperature sensor that measures the
+first device --- the sensor --- contains a temperature sensor that measures the
 room temperature. The second device --- the actor --- contains a heater,
 connected to the digital pin \CI{D5}. Moreover, this device contains a led to
 indicate whether the heater is on. The following code shows an implementation
@@ -71,8 +71,8 @@ where
        taskRemoved t d = isNothing $ find (\t1->t1.ident==t.ident) d.deviceTasks
 \end{lstlisting}
 
-The factorial example can then be lifted to a real \gls{iTasks}-\gls{mTask}
-with the following code:
+The factorial function example from Chapter~\ref{chp:mtaskcont} can then be
+lifted to a real \gls{iTasks}-\gls{mTask} with the following code:
 \begin{lstlisting}[caption={Lifting the factorial \gls{Task} to \gls{iTasks}}]
 factorial :: MTaskDevice -> Task BCValue
 factorial dev = enterInformation "Factorial of ?" []