diff --git a/docs/dev/xosgenx.md b/docs/dev/xosgenx.md
index 58bb3e9..88f8974 100644
--- a/docs/dev/xosgenx.md
+++ b/docs/dev/xosgenx.md
@@ -86,6 +86,9 @@
 The example target outputs a Python function that enumerates the ids of the
 objects from which the current object is linked.
 
+An example set of target definitions can be found in
+`$SRC_DIR/lib/xos-genx/xosgenx/targets/`.
+
 ## Running xosgenx
 
 It is possible to run the xosgenx tool chain directly. This is useful, for
@@ -159,3 +162,6 @@
                         Output file extension (if write-to-file is set to
                         single)
 ```
+
+For example usage of `xosgenx`, see the Dockerfiles in
+`$SRC_DIR/containers/xos/`.
diff --git a/docs/dev/xproto.md b/docs/dev/xproto.md
index 64b327b..a8787c2 100644
--- a/docs/dev/xproto.md
+++ b/docs/dev/xproto.md
@@ -34,9 +34,8 @@
   run.
 * Unit Tests – auto-generate API unit tests.
 
-The next two sections describe xproto (first the models and then policies that
-can be applied to the models), and the following section describes xosgenx and
-how it can be used to generate different targets.
+The rest of this section describes xproto: first the models and then policies that
+can be applied to the models.
 
 ## Models
 
diff --git a/docs/platform.md b/docs/platform.md
index 2c0a42d..7176cb4 100644
--- a/docs/platform.md
+++ b/docs/platform.md
@@ -9,7 +9,7 @@
 than service extensions. This section describes three example platform
 services in more detail:
 
-* [Kubernetes](kubernetes/docs/kubernetes-service.md)
-* [OpenStack](openstack/docs/openstack-service.md)
-* [ONOS](onos/docs/README.md)
+* [Kubernetes](kubernetes/kubernetes-service.md)
+* [OpenStack](openstack/openstack-service.md)
+* [ONOS](onos/README.md)