1 files changed, 5 insertions, 1 deletions
diff --git a/README.md b/README.md
index 4486c7f76..91a6c8142 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,12 @@
-Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives
+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.
+
 To build:
 
 	export COQPATH="$(pwd)/coqprime${COQPATH:+:}$COQPATH"