Fix options; they now assume process-domination.