fix the CTRL_OPTIONS