minor bugfix in config file loader