Fix incorrect configuration option for MiniBufExplorer