diff --git a/quint/src/parsing/parseErrors.ts b/quint/src/parsing/parseErrors.ts
index f01c6f57d..196758e95 100644
--- a/quint/src/parsing/parseErrors.ts
+++ b/quint/src/parsing/parseErrors.ts
@@ -1,6 +1,6 @@
 import { QuintError } from '../quintError'
 
-export function undercaseTypeError(id: bigint, name: string): QuintError {
+export function lowercaseTypeError(id: bigint, name: string): QuintError {
   return {
     code: 'QNT007',
     message: 'type names must start with an uppercase letter',