Workers killed by a section of shotcrete lining.