update todo and specification