diff --git a/.config/zsh/.zprofile b/.config/zsh/.zprofile
index 53bc915..2cd956d 100644
--- a/.config/zsh/.zprofile
+++ b/.config/zsh/.zprofile
@@ -23,7 +23,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 GPG_ASKPASS="/usr/bin/pinentry-curses"