minor fixes to OptionsFile code