Fix a bug where servers would not be deleted.