style and doc corrections