Fixup: Assume right type in bool_deinit()