minor doc fix4