more tolerant against json encoding shuffling