Do we really indent so much?