1 files changed, 11 insertions, 6 deletions
diff --git a/doc/manual/pragmas.txt b/doc/manual/pragmas.txt
index f89194c9a..1a1f0b734 100644
--- a/doc/manual/pragmas.txt
+++ b/doc/manual/pragmas.txt
@@ -55,7 +55,7 @@ destructor pragma
 -----------------
 
 The ``destructor`` pragma is used to mark a proc to act as a type destructor.
-Its usage is deprecated, See `type bound operations`_ instead.
+Its usage is deprecated, see `type bound operations`_ instead.
 
 override pragma
 ---------------
@@ -518,11 +518,16 @@ Example:
 
 .. code-block:: nim
   {.experimental.}
-
-  proc useUsing(dest: var string) =
-    using dest
-    add "foo"
-    add "bar"
+  type
+    FooId = distinct int
+    BarId = distinct int
+  using
+    foo: FooId
+    bar: BarId
+
+  proc useUsing(bar, foo) =
+    echo "bar is of type BarId"
+    echo "foo is of type FooId"
 
 
 Implementation Specific Pragmas