Unrename 'opt' -> 'mi'