More cosmetics: make indentation more consistent