Missed beta reductions