Updated authors' email addresses.
Changed location of update_rcvd to occur before tcp->rcv_nxt is updated.