bugfix: bad JSON in config file