Fixed a wrong guarantee in the cluster connectivity code. CR 1174.