another formatting tweak