Merge branch 'bug_241_EOFrestart'