a few minor changes to conform to original minDisj.exe functionality