minor doc bug