fixed spurious errors in logic.doctest and drt.doctest