More doc fixes