small fix for zsh