diff --git a/README.md b/README.md
index c4aeeb718471a63e6f9e5f7abacc8307f6b643e0..742358c5980c263d960f5b5c4c8c60006ccbd641 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,5 @@
 # TLA+ Tools
 
-[![Build Status](https://travis-ci.org/hhu-stups/tlatools.svg)](https://travis-ci.org/hhu-stups/tlatools)
-
 Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, 
 an IDE for writing specifications and running tools to check them.