diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst
index d24f663..cd01226 100644
--- a/docs/source/quickstart.rst
+++ b/docs/source/quickstart.rst
@@ -117,16 +117,15 @@
 .. code:: bash
 
 	make simenv
-	# you can run RTL/GL simulations by using
-	export SIM=RTL
-	# OR
-	export SIM=GL
 	
-	# you can then run the simulations using
-	make verify-<testbench-name>
+	# you can then run RTL simulations using
+	SIM=RTL make verify-<testbench-name>
+	
+	# OR GL simulation using
+	SIM=GL make verify-<testbench-name>
 	
 	# for example
-	make verify-io_ports
+	SIM=RTL make verify-io_ports
 	
 9. To run the precheck locally