diff --git a/README.md b/README.md
index c533a1b17ec5d94d16d348f53abd1fca0733c453..605841982c8ad08f10afeefe0de3c2735c79c8a6 100644
--- a/README.md
+++ b/README.md
@@ -12,8 +12,9 @@ No original file is changed, but we added:
 * gradlew
 * gradlew.bat
 * gradle.properties.enc
-* secring.gpg.enc
 * pubring.gpg.enc
+* secring.gpg.enc
+* settings.gradle
 
 Note to future Jens:
 After updating the sources the ```gradle patch``` task must be run. This modifies the sources. **Do not run the task multiple times!**
diff --git a/build.gradle b/build.gradle
index 8ee73f97cf8700cc66d721ac2aaedc14a060715e..ae3af3e91f8870044279ef7b3992f5917c4b9589 100644
--- a/build.gradle
+++ b/build.gradle
@@ -6,7 +6,6 @@ sourceCompatibility = '1.7'
 
 project.version = '3.2.1-SNAPSHOT'
 project.group = 'de.hhu.stups'
-project.archivesBaseName = 'rodin-eventb-ast'
 
 sourceSets {
     main {
diff --git a/settings.gradle b/settings.gradle
new file mode 100644
index 0000000000000000000000000000000000000000..07405e34c7ef8b685c0f7284019111efd5ee1568
--- /dev/null
+++ b/settings.gradle
@@ -0,0 +1 @@
+rootProject.name = "rodin-eventb-ast"