renaming micro to mini
renaming micro to mini