Fix compilation error in BootHandler