Remove an obsolete TODO