minor doc improvement