make the Todo example compiling