minor doc improvement.