Fixed bad ci doctests.