Erased this TODO, since it's no longer necessary.