Fix invalid range error by gawk in order_by_dek.awk