diff --git a/roscon_res/utils.md b/roscon_res/utils.md
index ebb6454..c8176c4 100644
--- a/roscon_res/utils.md
+++ b/roscon_res/utils.md
@@ -3,12 +3,16 @@ docker compose run --name mooncont -it base bash
 docker exec -it mooncont bash
 
 cd /MOON/src/ROSMonitoring/oracle/TLOracle/
-oracle.py --online --property prop --port 8080 --dense
+cp /MOON/roscon_res/prop1.py /MOON/src/ROSMonitoring/oracle/TLOracle
+oracle.py --online --property prop1 --port 8080 --dense
 
 python3 generator --config_file ../roscon_res/conf.yaml
 cd /MOON/monitor_ws; colcon build
+source install/setup.bash
 ros2 run monitor pick_monitor
 
+source /opt/ros/jazzy/setup.bash
 cd /MOON/roscon_res/sim_ws; colcon build
+source install/setup.bash
 ros2 run simexec exec
 ```
\ No newline at end of file