clean up the configuration a tiny bit, i.e. make it work, it still is probably wrong