diff --git a/quint/src/quintVerifier.ts b/quint/src/quintVerifier.ts
index bf3066548..68e07a65e 100644
--- a/quint/src/quintVerifier.ts
+++ b/quint/src/quintVerifier.ts
@@ -22,12 +22,12 @@ import fs from 'fs'
 import os from 'os'
 import * as grpc from '@grpc/grpc-js'
 import * as proto from '@grpc/proto-loader'
-import * as protoDescriptor from 'protobufjs/ext/descriptor'
+import * as protobufDescriptor from 'protobufjs/ext/descriptor'
 import { setTimeout } from 'timers/promises'
 import { promisify } from 'util'
 import { ItfTrace } from './itf'
-import { Buffer } from 'buffer'
 
+import type { Buffer } from 'buffer'
 import type { PackageDefinition as ProtoPackageDefinition } from '@grpc/proto-loader'
 
 const APALACHE_SERVER_URI = 'localhost:8822'
@@ -253,7 +253,7 @@ async function loadProtoDefViaReflection(): Promise<VerifyResult<ProtoPackageDef
 
   // Decode reflection response to FileDescriptorProto
   let fileDescriptorProtos = protoDefResponse.file_descriptor_response.file_descriptor_proto.map(
-    bytes => protoDescriptor.FileDescriptorProto.decode(bytes) as protoDescriptor.IFileDescriptorProto
+    bytes => protobufDescriptor.FileDescriptorProto.decode(bytes) as protobufDescriptor.IFileDescriptorProto
   )
 
   // Use proto-loader to load the FileDescriptorProto wrapped in a FileDescriptorSet