Quick fix of one bug in Options.C config file reading and one poor choice of default in Config.txt.