Remove spurious TODO comment