Fix #235 formatoptions problem