diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 94e0e3a9dc8c6435095b536859d5b6ac995678e6..058e19f2b6f24f0e32db01c672b729a2fc4b202a 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -33,13 +33,11 @@ javadoc {
 	failOnError = false
 }
 
-task tlatools(dependsOn: build) << {
-	copy {
-		from('build/libs/')
-		into('build/tlatools')
-		include('tlatools-' + project.version + '.jar')
-		rename('tlatools-(.+)', 'tlatools.jar')
-	}
+task tlatools(type: Copy, dependsOn: build) {
+	from('build/libs/')
+	into('build/tlatools')
+	include('tlatools-' + project.version + '.jar')
+	rename('tlatools-(.+)', 'tlatools.jar')
 }
 
 if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {