Fix booting hopefully