Trivial fix for .zsh