fix elimination bug