A bunch of minor doc fixes.