fix a bug of get_codon_num() method