Fixed various doctests.