Update specification of to-do list