Fix dumb ERET bug