Page 71, Section "Graceful Stops", there are reference to Fig. 2.7, "What happens in the left frame is that there is no data dependency between the guts of the loop and the RUN switch", but the Fig 2.7 only have one frame, there are no left frame explaining the problem.