Fix hotplug.c