various docs fixes