Fix formatting in receiver