update specs/TODO