more DFAs, new icon