Cosmetics: Fix whitespace.