diff --git a/webots/controllers/RL_Supervisor/RL_Supervisor.py b/webots/controllers/RL_Supervisor/rl_supervisor.py
similarity index 100%
rename from webots/controllers/RL_Supervisor/RL_Supervisor.py
rename to webots/controllers/RL_Supervisor/rl_supervisor.py