NFC: Minor formatting fix