tweak README

diff --git a/README.md b/README.md
index b938794fbd6bf5a7e7a249e57d3657a171b1da16..0f7fcca1eb9eb2a8fad4511238cb2198b170566d 100644 (file)
--- a/README.md
+++ b/README.md
@@ -124,5 +124,4 @@ X = call(f, z).
 
 Note that the values of variables belonging to successful queries are
 printed out, on one line each. Uninstantiated variables are denoted by
-a number preceded by an underscore (`X = _0` is an example in the
-above).
\ No newline at end of file
+a number preceded by an underscore (`X = _0` in an example above).
\ No newline at end of file