Minor updates to doctests.