Fix up the project so CI passes

[mcy]

Run cargo fmt, which apparently I forgot to do before the initial commit.