[minor] Formatting.