Fix config loader

This is the bugfix I mentioned in #736.