Minor updates after switch to zsh.