various updates for the documentation