I understand the need for a reindentation, but isn't that a bit extreme?