Fix a @ToDo in Eden[For GCI]