receiver.v: minor bug fix