Problème sur le wiki concernant l'installation du kernel ubuntu 16.04

Bonjour, je n'ai pas trouvé de formulaire de contact sur le wiki alors je mets cela ici en espérant que les administrateurs du wiki trouveront.

Sur l'article d'installation du kernel upboard pour ubuntu 16.04, j'ai remarqué une erreur dans la partie 2 Install Ubuntu kernel 4.15.0 for UP from PPA on Ubuntu 16.04. Le code suivant a été mis vers la fin:

sudo apt dist-upgrade -y
sudo reboot

alors qu'il aurait fallu mettre:

sudo apt dist-upgrade -y
sudo update-grub

Si vous pouviez modifier cela ca serait génial !

Merci d'avance.