diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a2f6a9a0a40366a9d46ef583dbe09769bfce7371..643c139d43ef04ece4b9f96273a9e6c57aeeedfa 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,7 +8,7 @@ build:
     - apt-get install -y ant dvipng maven python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra wget
     - wget -O plastex.tar.gz https://github.com/tiarno/plastex/archive/1.0.0.tar.gz
     - tar -xzvf plastex.tar.gz
-    - cd plastex-1.0.0 && python setup.py install
+    - (cd plastex-1.0.0 && python setup.py install)
   script:
     - cd org.rodinp.handbook.feature
     - ant -file customBuild.xml