Fix typo in the previous commit in the rewrite of one of the `mi` example unit tests