Cosmetic: fix indentation.