Remove bug from TODO, as it has been fixed.