Update doc/TODO