Further fixes to documentation