fix doctests for 14223