Pumped out on steep rock. The fall was long and wrong. The rope went tight with his leg behind it, and gravity did the rest. He flipped upside down, slow enough to understand what was happening, fast enough to do nothing about it. The back of his head hit the stone with a sharp, final sound.
You don't have to wear a helmet when you climb, just know what can happen if you don't.