More small documentation cleanups