diff --git a/docs/setup.tex b/docs/setup.tex
index 8c5b92196c1351dd6338fe89b83b3394d4d77514..29030f00923474307b3dac7679f250a01263353e 100644
--- a/docs/setup.tex
+++ b/docs/setup.tex
@@ -14,7 +14,7 @@
 \usepackage{amssymb}
 \usepackage{stmaryrd}
 
-\usepackage{\basedir mathpartir}
+\usepackage{mathpartir}
 
 \usepackage{\basedir pftools}
 \usepackage{\basedir iris}