let set_off () =
  Force.off () ;
  OptionModified.set false ;