small doc corrections