Resolve #60 by ensuring FINISHED message is sent at most once, even if ABORT follows START.