Fix the fix for formatting