diff --git a/.config/zsh/.zprofile b/.config/zsh/.zprofile
index e8160f0..c52b485 100644
--- a/.config/zsh/.zprofile
+++ b/.config/zsh/.zprofile
@@ -20,7 +20,7 @@ export GTK2_RC_FILES="$XDG_CONFIG_HOME/gtk-2.0/gtkrc-2.0"
 export TEXMFHOME="$XDG_DATA_HOME/texmf"
 export CARGO_HOME="$XDG_DATA_HOME/cargo"
 export OPAMROOT="$XDG_DATA_HOME/opam"
-export COQBIN="$OPAMROOT/default/bin"
+export COQBIN="$OPAMROOT/default/bin/"
 
 ## default programs
 export SUDO_ASKPASS="$HOME/.local/bin/dmenupass"