User guide tweaks

README.ipynb

@@ -476,7 +476,7 @@
    "source": [
     "The following filtering functions are provided:\n",
     "\n",
-    "- `filter(f, trace)` is useful to cut out uninteresting intermediate functions. It keeps all `t::Trace` for which `f(t)` is true.\n",
+    "- `filter(f, trace)` keeps all function calls for which `f(::Trace)` is true. It's useful to cut out uninteresting intermediate functions. \n",
     "- `filter_cutting(f, trace)` is like `filter`, but will remove all descendents of the traces for which `f(trace)` is false. \n",
     "- `filter_lineage(f, trace)` keeps all function calls for which `f(::Trace)` is true of at least one of its descendents or ancestors. Use it to focus on some interesting part of the trace. "
    ]
@@ -763,7 +763,7 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "Calling a `Trace` object repeats its computation. By tracing `strace[1,1,1,1]()`, we get the full trace for this part of the computation:"
+    "Calling a `Trace` object performs its computation. By tracing `strace[1,1,1,1]()`, we get the full trace for this part of the computation:"
    ]
   },
   {