Fix docker alias.