Some docs fixes