minor formatting tweak

[skip ci]