bugfix for check_digested_sequence_number.pl