removed spurious TODO