A number of minor documentation cleanups.