minor doc fix