Various minor doc fixes and cleanups