minor fix to OptionsFile