Resolve #60 by ensuring FINISHED message is sent at most once, ...

...even if ABORT follows START.