More doc fixes.