minor doc modification