diff --git a/docs/source/cli.md b/docs/source/cli.md
index 4549e5b0..3e43a4ed 100644
--- a/docs/source/cli.md
+++ b/docs/source/cli.md
@@ -6,10 +6,10 @@ The `kernels` CLI provides commands for managing compute kernels.
 
 | Command                                                 | Description                                              |
 | ------------------------------------------------------- | -------------------------------------------------------- |
-| [benchmark](cli-benchmark.md)                           | Run benchmark results for a kernel                       |
-| [check](cli-check.md)                                   | Check a kernel for compliance                            |
+| [benchmark](cli-benchmark.md)                           | Run benchmark results for a kernel                       |                           |
 | [versions](cli-versions.md)                             | Show kernel versions                                     |
 | [lock](cli-lock.md)                                     | Lock kernel revisions                                    |
+| [download](cli-download.md)                                     | Download a kernel                                    |
 
 ## Quick Start