minor fix for OptionsFile