fixed issue #469: Bad configuration file generated.