Got rid of MiGrep debugging messages