Fixed a cosmetic discrepancy in receiver names