diff --git a/web/README b/web/README
index cf2a11cc9c4662d92bb191013de480be23d8bcfd..64d12494629f7bf97e9bb7ea5518f6237a4398e2 100644
--- a/web/README
+++ b/web/README
@@ -1,23 +1,21 @@
 HOWTO RUN LEON ONLINE
 *********************
 
-** On laraserver **
-
 $ cd path/to/leon-2.0
 $ sbt package
 $ cd web
 
-Make sure SCALA_HOME is SET!
 
-$ export LD_LIBRARY_PATH=/localhome/leonweb/git/z3/build/
-$ play "start -Dconfig.file=conf/laraserver.conf"
+!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+!!! Make sure SCALA_HOME is SET! !!!
+!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
 
-** Locally **
-$ cd path/to/leon-2.0
-$ sbt package
-$ cd web
+** On laraserver **
 
-Make sure SCALA_HOME is SET!
+    $ export LD_LIBRARY_PATH=/localhome/leonweb/git/z3/build/
+    $ play "run -Dapp.prefix=/leon"
+
+** Locally **
 
-$ export LD_LIBRARY_PATH=../lib-bin/64/
-$ play start
+    $ export LD_LIBRARY_PATH=../lib-bin/64/
+    $ play run