Fixed a couple of minor errors in the receiver shim.