minor doc fix3