Fix for uninstalling a repository from Galaxy.