fixed failing semantics doctests