diff --git a/README.md b/README.md
index 8585d57044df8300715fced311c937ba369c1492..bb7bfcd1dbb7bfb4393e1179d5d2f0592812aae6 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,4 @@
-# ProB
+# The ProB Model Checker and Animator
+
+(C) 2000-2010 by Michael Leuschel
+All rights reserved
diff --git a/lukas.txt b/lukas.txt
deleted file mode 100644
index 41f5a200ae8852290f45c3ee0a34ca4db3d8f6ee..0000000000000000000000000000000000000000
--- a/lukas.txt
+++ /dev/null
@@ -1 +0,0 @@
-Hi :-)
\ No newline at end of file