1 files changed, 1 insertions, 4 deletions

diff --git a/README.md b/README.md
index 91a6c8142..141cff4af 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,8 @@
 Fiat-Crypto: Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives
 -----
 
-... which would make a good paper title.
-
 NOTE: The gibhub.com repo is only intermittently synced with
-github.mit.edu. If you're in CSAIL, you should pull from the
-github.mit.edu repo.
+github.mit.edu.
 
 To build: