On page 72 (about flush), lines 16 and 17 define syntactical restrictions on the placement of 'taskwait'. This looks like an exact copy of the text of the proper taskwait definition. May I assume that instead of 'taskwait', 'flush' is intended here?
Thanks,
Marcel
