Fix formatting in the demodulator