Fix doctest to pass under the new filtering conditions