Fixes MiniBufExplorer

LGTM
-Quentin
-Mike