Miscellaneous doc tweaks