/* Called when a device has been detached from it */