Let's fix the CI build that's been failing for 2 hours, shall we?