Small doc corrections