Has this TODO been addressed by the doubling? I think you should be free to mark it done.