diff --git a/infra/README.md b/infra/README.md
index acb90b5a4..25e5acea0 100644
--- a/infra/README.md
+++ b/infra/README.md
@@ -11,7 +11,7 @@ Continuous Integration infrastracture:
   project.
 * [`docker-cleanup`](docker-cleanup/) - jenkins pipeline to clean stale docker images & processes.
 * [`push-images`](push-images/) - jenkins pipeline to push built base images.
-* [`jenkins-cluster`](jenkins-cluster/) - kubernetes cluster definition for our jenkins-based build (not operational yet, #10).
+* [`jenkins-cluster`](jenkins-cluster/) - kubernetes cluster definition for our jenkins-based build (not operational yet, issue 10).
 
 ## helper.py
 > script to automate common docker operations