More minor doc fixes.