Update mi.hpp