Fix an error in todo-list example