It was because of the indented TODO below. Actually, it is not needed any more anyway because the only doctests that failed were in the old tutorial.