Fixes #387: somehow default configs are getting changed...