Fix formatoptions again