minor usage problems main-subopt-overlap.