minor modifications in EWSUSY.cpp.