removed redundant f.close().  I *think* that read_config and save_config...

... are now safely callable at any juncture.