diff --git a/.eslintrc.cjs b/.eslintrc.cjs
index d6c9537..b1e978d 100644
--- a/.eslintrc.cjs
+++ b/.eslintrc.cjs
@@ -10,9 +10,6 @@ module.exports = {
   parser: '@typescript-eslint/parser',
   plugins: ['react-refresh'],
   rules: {
-    'react-refresh/only-export-components': [
-      'warn',
-      { allowConstantExport: true },
-    ],
+    'react-refresh/only-export-components': ['warn', { allowConstantExport: true }],
   },
-}
+};
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 6fc8e99..977350b 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -1,4 +1,4 @@
-name: Test with vitest
+name: Run checks
 
 on:
   push:
diff --git a/src/datalog/dusa-parser.ts b/src/datalog/dusa-parser.ts
index 3a365fb..a16956f 100644
--- a/src/datalog/dusa-parser.ts
+++ b/src/datalog/dusa-parser.ts
@@ -77,8 +77,7 @@ function mkStream<T>(xs: T[]): Istream<T> {
 function force(t: Istream<Token>, type: string): Token {
   const tok = t.next();
   if (tok === null) throw new DusaSyntaxError(`Expected ${type}, found end of input.`);
-  if (tok.type !== type)
-    throw new DusaSyntaxError(`Expected ${type}, found ${tok.type}`, tok.loc);
+  if (tok.type !== type) throw new DusaSyntaxError(`Expected ${type}, found ${tok.type}`, tok.loc);
   return tok;
 }