fixes for ManualReuseExplorer