minor formatting fixes

no runtime changes