Minor fix in doctests of Inference