[Closes #169] Fix bugs in Config.default?.