minor doc improvments