Bug fix in checkEOS().