#3239 fixes wumpus->EIS0.5