minor doc revision