Fix last failing test (that failed due to the doctest move).