Fixed bug in Coordinator.h