minor doc fix.