Is mi->second maybe more readable?