a minor change in EWSM.cpp.