php -v по-прежнему показывает старую версию

Поэтому я пытаюсь обновиться с 7.1.1 до 7.1.17. Я побежал:

sudo apt-get install php7.1

и получил 7.1.17-1+ubuntu16.04.1+deb.sury.org+1, но когда я бегу

php -v

в терминале, я получаю PHP 7.1.1-1+deb.sury.org. Я использую цифровой океан, настроенный с помощью nginx. Я перезапустил сервер и перезапустил nginx, но не повезло.