miscellaneous doc improvements