Fixed typo from specification lastSeqNumDeliver => maxSeqNumRcvd