fix the last failing doctests in the language intro section