diff --git a/kernel_module/pci.c b/kernel_module/pci.c
index 298a110..246037f 100644
--- a/kernel_module/pci.c
+++ b/kernel_module/pci.c
@@ -3,6 +3,9 @@ Usage:
 
 	/pci.sh
 
+The standard is non-free, obviously: https://pcisig.com/specifications
+but Google gives several illegal PDF hits :-)
+
 Like every other hardware, we could interact with PCI on x86
 using only IO instructions and memory operations.
 
diff --git a/kernel_module/work_from_work.c b/kernel_module/work_from_work.c
index 34631ba..017b9b2 100644
--- a/kernel_module/work_from_work.c
+++ b/kernel_module/work_from_work.c
@@ -33,6 +33,7 @@ static int myinit(void)
 static void myexit(void)
 {
 	cancel_delayed_work(&next_work);
+	flush_workqueue(queue);
 	destroy_workqueue(queue);
 }