minor fix to optionsFile<>