CI: build failed, formatting issue?