At Benamazi's death, three were punished