little formatting tweak