minor doc bug fixes