Various small doc fixes.