a bug was fixed in manageCoalition()