diff --git a/docs/developing_iree/benchmarking.md b/docs/developing_iree/benchmarking.md
index 57b6a17..7b46057 100644
--- a/docs/developing_iree/benchmarking.md
+++ b/docs/developing_iree/benchmarking.md
@@ -296,7 +296,7 @@
 (hex for 10000000):
 
 ```shell
-$ tasket 80 sleep 20 &
+$ taskset 80 sleep 20 &
 $ ps -o psr $!
 ```