Correct indentation of unrelated file (leaving it as it was).