diff --git a/MathPuzzles/Romania1998Q12.lean b/MathPuzzles/Romania1998Q12.lean
index 34cc5bc0..abb68f35 100644
--- a/MathPuzzles/Romania1998Q12.lean
+++ b/MathPuzzles/Romania1998Q12.lean
@@ -12,10 +12,12 @@ function f : ℝ → ℝ such that
 
   ∀ x,y ∈ ℝ, f(x + y) = f(x)u(y) + f(y)
 
+-/
+
+/-
 # Solution
 
 f(x) = eᵏˣ for some k : ℝ.
-
 -/
 
 #[problem_setup] namespace Romania1998Q12