Minor doctest fixups.