Cosmetic: indent after last change.