Fix bug in todo-list example