I got a failing doctest without it (previously had doctest: +SKIP but it was requested not to be skipped)