miscellaneous doc fixes