Cosmetics: Fix indentation after last commit.