Fixing overflow bug; apparently ClusterManager can't be local