Removed TO-DO that turned out not to be a problem.