Fix bug in boot script