Fix stupid bootstrap error