Minor doc corrections