Fix seqnum_higher calculation