Various updates in the documentation