Fix a bug with `michi`
0.0.20