A lighter hammer had to be fitted and the bell was turned around so an undamaged section could be rung. The origin of the name Big Ben is not known, although two different theories exist.