Remove out-of-date "TODO" comment