Fix CI.
Formatting.