Clean up a TODO; turned out nothing to do