miscellaneous changes in docs