diff --git a/pyk/src/pyk/klean/template/{{ cookiecutter.package_name }}/lakefile.toml b/pyk/src/pyk/klean/template/{{ cookiecutter.package_name }}/lakefile.toml
index 115105e1cf..19e36e406c 100644
--- a/pyk/src/pyk/klean/template/{{ cookiecutter.package_name }}/lakefile.toml	
+++ b/pyk/src/pyk/klean/template/{{ cookiecutter.package_name }}/lakefile.toml	
@@ -2,7 +2,7 @@ name = "{{ cookiecutter.package_name }}"
 version = "0.1.0"
 defaultTargets = ["{{ cookiecutter.library_name }}"]
 weakLeanArgs = [
-    "-D maxHeartbeats=10000000"
+    "-D", "maxHeartbeats=10000000",
 ]
 
 [[lean_lib]]