a few more Receiver bug fixes