diff --git a/README.md b/README.md
index 060bb9d5a..6cbeb4f59 100644
--- a/README.md
+++ b/README.md
@@ -201,7 +201,7 @@ See [``examples/python``](examples/python) for examples.
 
 ## Resources
 
-* Default input format is [SMTLIB2](/http://smtlib.cs.uiowa.edu)
+* Default input format is [SMTLIB2](http://smtlib.cs.uiowa.edu)
 
 * Other native foreign function interfaces:
   * C