Another formatting tweak