An invariant (although not documented) is that e1 must never be null here. This is the wrong fix.