changes to receiver spec