diff --git a/INSTALL.md b/INSTALL.md
index ade166396..2c44fc574 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -9,7 +9,7 @@ $ [sudo] make install
 You can run it without installing, by using instead:
 ```
 $ make
-$ ./source/carla
+$ ./source/frontend/carla
 ```
 
 Packagers can make use of the `PREFIX` and `DESTDIR` variable during install, like this: