Removing a now-defunct TODO.