diff --git a/build.gradle b/build.gradle
index 458efe312f50503cbf4d33b9e5cd3f4ac9c3fb3c..9525d89d792074c7c0a796c585317ef7bc9fef78 100644
--- a/build.gradle
+++ b/build.gradle
@@ -92,7 +92,7 @@ jar {
 task tla2b(dependsOn: build) << {
 	copy {
 		from('build/libs/')
-		into('build/tla2b')
+		into('.')
 		include('tla2bAST-'+project.version+'.jar')
 		rename('tla2bAST-(.+)', 'TLA2B.jar')
 	}