Fix stupid mistake (dual boot broken)