diff --git a/docs/src/repl.md b/docs/src/repl.md
index a6c86c762d..0ab7d90ab2 100644
--- a/docs/src/repl.md
+++ b/docs/src/repl.md
@@ -61,9 +61,9 @@ Assign kernels by name to languages in your `settings.json`.
 }
 ```
 
-If you have `jupyter` installed, you can run `juptyer kernelspec list` to see the available kernels. Note that only
+If you have `jupyter` installed, you can run `juptyer kernelspec list` to see the available kernels.
 
-````
+```
 $ jupyter kernelspec list
 Available kernels:
   ark                   /Users/z/Library/Jupyter/kernels/ark
@@ -86,6 +86,8 @@ Available kernels:
   python3               /Users/z/.pyenv/versions/miniconda3-latest/share/jupyter/kernels/python3
 ```
 
+You must run `python -m ipykernel install --user` to install the kernel.
+
 ## Language specific instructions
 
 ### Python {#python}