1. Formatteer sda2 in GParted, maar hou 'm wel in stand als partitie, bijvoorbeeld voor toekomstig gebruik als opslagpartitie, of voor toekomstige experimenten met nieuwe Linuxversies;
2. In een terminalvenster:
sudo update-grub
Druk op Enter. Tik desgevraagd je wachtwoord in; dat blijft geheel onzichtbaar, je ziet zelfs geen sterretjes, dat hoort zo. Druk weer op Enter.
3. Herstart je computer.