Another minor doc fix.