zsh: oops in setting HISTSIZE