[minor] Formatting tweak