Ok, probably the absolute value of the (very simple) repair doesn't make this a very significant example. But for sure it was a pretty big overhead.