tiny doc corrections