Fix formatting

[ci-skip]