fix minor doc bug