fix failing doctests