Changes to receiveHaveMessage()