zsh завершает полное имя хоста вместо короткого

В моем ~ / .ssh / config у меня есть

Host students
    HostName students.foo.edu.pl
    User bar

Затем, при попытке завершить ssh stu , zsh предлагает student.foo.edu.pl вместо студентов .

С другой стороны, автозаполнение работает правильно, когда используется IP-адрес:

Host knl
    HostName xxx.xxx.xxx.xxx
    User usrxxx
    Port 7777

Почему? Как я могу это исправить? Соответствующие части моего .zshrc (без учета запросов и конфигурации истории)

setopt nomatch
bindkey -e

#Completion
autoload -Uz compinit && compinit

#Needed for colorful prompts
autoload -U colors && colors
setopt promptsubst
setopt HIST_IGNORE_SPACE

#Antigen
source /usr/share/zsh/scripts/antigen/antigen.zsh
antigen bundle zsh-users/zsh-syntax-highlighting
antigen bundle olivierverdier/zsh-git-prompt

Ни один из хостов не был определен в / etc / hosts