Fix a bug that caused the last addin repository's name to not be saved.