Fix the Todo example!