fixed spurious errors in semantics.doctest and drt.doctest