Minor formatting tweak