The elephant stomped on his head, which would have been pretty humane compared to other punishments that were practiced throughout the world at the time. Of course, it would have been unimaginably painful if the elephant stepped on his torso.