minor formatting tweak [skip ci]