Various updates to documentation