Fix a very stupid bug that prevented the bootstrap from working... -.-