minor doc bug fixed.