Fix for bug #12: Config reading is failing when an option is missing.