minor fixes to OptionsFile for last checkin