a few doc corrections