remove spurious TODO