More doc corrections