Another minor doc fix