diff --git a/build.gradle.kts b/build.gradle.kts
index 292fca1..aa8b2d4 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -18,7 +18,7 @@ group = PROJECT_GROUP
 plugins {
     // Environment
     id("me.filippov.gradle.jvm.wrapper") version "0.14.0"
-    kotlin("jvm") version "2.0.0-RC2"
+    kotlin("jvm") version "2.0.0"
 
     // GUI
     id("org.openjfx.javafxplugin") version "0.1.0"
diff --git a/src/main/resources/spec.nyt-flashes.kts b/src/main/resources/spec.nyt-flashes.kts
index afed06c..1b1cd31 100644
--- a/src/main/resources/spec.nyt-flashes.kts
+++ b/src/main/resources/spec.nyt-flashes.kts
@@ -30,6 +30,6 @@ val stocksHidden = Spec.atoms[0]
 // Final formula
 Spec.formula = screen and not(stocksHidden) implies
         not(
-            eventually(stocksHidden) within (Interval(0, 1))
-                    and (eventually(not(stocksHidden)) within (Interval(0, 1)))
+            eventually(stocksHidden) within Interval(0, 1)
+                    and (eventually(not(stocksHidden)) within Interval(0, 1))
         )