fixed: should use a TreeMap for ordering options