Fix #420. The default comparator should not sort the model cids lexicographically.