OptionsFile tweak