fix failing doctests in Infer