diff --git a/build.gradle b/build.gradle
index f3ce79c93c20a6ec89088ec8e79abcb5f79f759d..d966d9da75c54980dae2627206e4d901e1c89d9b 100644
--- a/build.gradle
+++ b/build.gradle
@@ -90,8 +90,10 @@ jar { from sourceSets.main.allJava }
 jar	{
 	from configurations.releaseJars.collect { it.isDirectory() ? it : zipTree(it) }
 }
-manifest.mainAttributes("Main-Class" : 'de.tlc4b.TLC4B')
-manifest.mainAttributes("Class-Path": './tla/ tlatools.jar')
+manifest {
+    attributes "Main-Class" : 'de.tlc4b.TLC4B'
+    attributes "Class-Path": './tla/ tlatools.jar'
+}
 
 task tlc4b(dependsOn: build) << {
 	copy {